quantifier elimination中文是什么意思

发音:

中文翻译
造句

量词消去
量消去

quantifier n. 【逻辑学】限量词〔用 all, some 等语词以 ...
elimination n. 除去，消除，淘汰，排除(作用)；【化学】弃置；【数 ...
elimination of quantifier 量词的消去
quantifier n. 【逻辑学】限量词〔用 all, some 等语词以及前缀[词首]、符号等表示〕。
elimination n. 除去，消除，淘汰，排除(作用)；【化学】弃置；【数学】消去，消元法 (eliminate matches 【体育】预赛，淘汰赛。 waste eliminate 消灭浪费)。
bounded quantifier 有界量词
distributive quantifier 分布数量词
existential quantifier 存在量词
existing quantifier 存在量词
fuzzy quantifier 模糊量词
general quantifier 普通性量词; 全称量词; 一般量词
generality quantifier 通用量词
heterogeneous quantifier 非纯一量词
particle quantifier 微粒定量仪
quantifier scoping 量词的辖域作用
quantifier-free 无量词
scope of quantifier 符号名作用域; 量词的值域; 量词辖域; 量词作用域
statement quantifier 命题量词
unbounded quantifier 无界量词
universal quantifier 全称范域词; 全称量词
vacuous quantifier 空量词
elimination elimination 消去
allquantor universal quantifier 全称量词
bounded existential quantifier 有界存在量词
bounded universal quantifier 有界全称量词

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

百科解释

Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science. One way of classifying formulas is by the amount of quantification.

详细百科解释

推荐英语阅读

quantifier elimination的中文翻译，quantifier elimination是什么意思，怎么用汉语翻译quantifier elimination，quantifier elimination的中文意思，quantifier elimination的中文，quantifier elimination in Chinese，quantifier elimination的中文，quantifier elimination怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。

Last modified time:Tue, 19 Aug 2025 00:29:56 GMT